automated reasoning tool造句

例句与造句

1. The main commercial expert systems of the 80s were available : Intellicorp's Knowledge Engineering Environment ( KEE ), Knowledge Craft, from The Carnegie Group Inc ., and ART ( Automated Reasoning Tool ) from Inference Corporation.
2. It's difficult to find automated reasoning tool in a sentence. 用automated reasoning tool造句挺难的